Sergey Ovchinnikov: Inverting Protein Structure Prediction Models To Solve Problems In Biology